let ( ^^ ) x y = max x y;;